<?hh
<<__EntryPoint>>
function main_entry(): void {
  $expect = varray[
  	"mimetype",
  	"Configurations2/statusbar/",
  	"Configurations2/accelerator/current.xml",
  	"Configurations2/floater/",
  	"Configurations2/popupmenu/",
  	"Configurations2/progressbar/",
  	"Configurations2/menubar/",
  	"Configurations2/toolbar/",
  	"Configurations2/images/Bitmaps/",
  	"content.xml",
  	"styles.xml",
  	"meta.xml",
  	"Thumbnails/thumbnail.png",
  	"settings.xml",
  	"META-INF/manifest.xml",
  ];
  $dirname = dirname(__FILE__) . '/';
  include $dirname . 'utils.inc';
  $file = __SystemLib\hphp_test_tmppath('__tmp_bug7658.odt');
  $zip = new ZipArchive();
  copy($dirname . 'bug7658.odt', $file);
  if(!$zip->open($file)) {
  	echo 'failed';
  }


  $zip->deleteName('content.xml');
  $zip->addFile($dirname . "bug7658.xml","content.xml");
  $zip->close();
  echo "\n";
  $zip->open($file);
  $found = varray[];
  for($i=0; $i < $zip->numFiles; $i++) {
  	$sb = $zip->statIndex($i);
  	$found[] = $sb['name'];
  }
  $ar = array_diff($found, $expect);

  var_dump($ar);
  unset($zip);
  unlink($file);
}
